build: Rename meson_options.txt to meson.options

The name is a bit cleaner, and has been the preferred option(!)
since meson 1.1.

Mutter recently updated the name, so follow suite.

The meson version bump shouldn't be an issue, given that several
hard dependencies like mutter and glib already require higher
versions.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3515>

diff --git a/meson.build b/meson.build
index ea351eb4c9f9ef0d77fef7c059ce759f8ff512b8..4dcd08494f4a23adcd3348d889a52f193d51562f 100644 (file)
--- a/meson.build
+++ b/meson.build
@@ -1,6 +1,6 @@
 project('gnome-shell', 'c',
   version: '47.0',
-  meson_version: '>= 0.58.0',
+  meson_version: '>= 1.1.0',
   license: 'GPLv2+'
 )
 

diff --git a/meson.options b/meson.options
new file mode 100644 (file)
index 0000000..01e0d58
--- /dev/null
+++ b/meson.options
@@ -0,0 +1,53 @@
+option('camera_monitor',
+  type: 'boolean',
+  value: true,
+  description: 'Enable the camera monitor'
+)
+
+option('extensions_tool',
+  type: 'boolean',
+  value: true,
+  description: 'Build gnome-extensions CLI tool'
+)
+
+option('extensions_app',
+  type: 'boolean',
+  value: true,
+  description: 'Build gnome-extensions GUI application'
+)
+
+option('gtk_doc',
+  type: 'boolean',
+  value: false,
+  description: 'Build API reference'
+)
+
+option('man',
+  type: 'boolean',
+  value: true,
+  description: 'Generate man pages'
+)
+
+option('tests',
+  type: 'boolean',
+  value: true,
+  description: 'Enable tests'
+)
+
+option('networkmanager',
+  type: 'boolean',
+  value: true,
+  description: 'Enable NetworkManager support'
+)
+
+option('portal_helper',
+  type: 'boolean',
+  value: true,
+  description: 'Enable build-in network portal login'
+)
+
+option('systemd',
+  type: 'boolean',
+  value: true,
+  description: 'Enable systemd integration'
+)

diff --git a/meson_options.txt b/meson_options.txt
deleted file mode 100644 (file)
index 01e0d58..0000000
--- a/meson_options.txt
+++ /dev/null
@@ -1,53 +0,0 @@
-option('camera_monitor',
-  type: 'boolean',
-  value: true,
-  description: 'Enable the camera monitor'
-)
-
-option('extensions_tool',
-  type: 'boolean',
-  value: true,
-  description: 'Build gnome-extensions CLI tool'
-)
-
-option('extensions_app',
-  type: 'boolean',
-  value: true,
-  description: 'Build gnome-extensions GUI application'
-)
-
-option('gtk_doc',
-  type: 'boolean',
-  value: false,
-  description: 'Build API reference'
-)
-
-option('man',
-  type: 'boolean',
-  value: true,
-  description: 'Generate man pages'
-)
-
-option('tests',
-  type: 'boolean',
-  value: true,
-  description: 'Enable tests'
-)
-
-option('networkmanager',
-  type: 'boolean',
-  value: true,
-  description: 'Enable NetworkManager support'
-)
-
-option('portal_helper',
-  type: 'boolean',
-  value: true,
-  description: 'Enable build-in network portal login'
-)
-
-option('systemd',
-  type: 'boolean',
-  value: true,
-  description: 'Enable systemd integration'
-)